The rank one mixed μ problem and ‘kharitonov-type’ analysis

The general mixed μ problem has been shown to be NP hard, so that the exact solution of the general problem is computationally intractable, except for small problems. In this paper we consider not the general problem, but a particular special case of this problem, the rank one mixed μ problem. We show that for this case the mixed μ problem is equivalent to its upper bound (which is convex), and it can in fact be computed easily (and exactly). This special case is shown to be equivalent to the so-called ‘affine parameter variation’ problem (for a polynomial with perturbed coefficients) which has been examined in detail in the literature, and for which several celebrated ‘Kharitonov-type’ results have been proven.     

Investigating the Social Dimensions of Transport Disadvantage II: From Concepts to Methods through an Empirical Case Study

This article is the second of two papers that review the field of spatially sensitive social scientific research into the links between social status and transport disadvantage. The first paper undertook a comprehensive review of the social scientific and transport planning literature to mark the level of development in the field and identify conceptual and methodological issues and constraints in this field of inquiry. The present article supports the advancement of socially and geographically sensitive transport research by opportunities for the development of more sophisticated spatial analytical methodologies. The approach we present is able to account for factors not previously addressed in either social or transport planning research, in particular the temporal dimensions of transport service accessibility. The article articulates the methodology through an empirical case study of socio-spatial transport disadvantage within the Gold Coast City. The article demonstrates that there are important theoretical and practical lessons to be gained for researchers and policy makers in addressing the social dimensions of transport and infrastructure provision. Further, the article argues that an attentiveness to new ways of combining and representing social and transport data-sets can promote policy relevant empirical social inquiry. The article also contributes in a productive way to the empirical knowledge of Australia's sixth-largest metropolitan area, which is often overlooked by urban scholars.     

浅谈水文过河缆道建设施工过程中的质量控制

应用水文过河缆道测验在传统水文测验中是一种行之有效的测验手段。本文主要结合黄河水文近年来开展的水文测报水平升级活动和现代化建设过程中取得的成功经验,分析说明水文过河缆道建设施工过程中的质量控制措施和方法。     

房屋建筑结构无损检测方法的分析与展望

通过对现有的结构无损检测方法的总结和分析,讨论了各种方法的优缺点.并结合现场测试的要求,展望结构检测技术的发展方向与趋势.     

农业重组微生物生物安全研究进展

综述了近年来农业重组微生物的研究现状和进展 ,详细介绍农业重组微生物环境释放的监控方法以及对环境的冲击作用 ,对一些有关生物安全研究的热点问题进行了探讨     

Accelerating filtering techniques for numeric CSPs

Search algorithms for solving Numeric CSPs (Constraint Satisfaction Problems) make an extensive use of filtering techniques. In this paper¹ we show how those filtering techniques can be accelerated by discovering and exploiting some regularities during the filtering process. Two kinds of regularities are discussed, cyclic phenomena in the propagation queue and numeric regularities of the domains of the variables. We also present in this paper an attempt to unify numeric CSPs solving methods from two distinct communities, that of CSP in artificial intelligence, and that of interval analysis.     

Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.     

Sensitivity analysis of the scattering parameters of microwave filters using the adjoint network method

A novel approach is presented to calculate the sensitivities of the scattering parameters of microwave filters obtained with the full‐wave mode‐matching (MM) technique. Using only the MM simulation of the original network, the sensitivities of the scattering parameters with respect to all designable parameters are obtained. The adjoint network method (ANM) is applied to the generalized scattering matrices of the different filter components. This guarantees good accuracy of the calculated sensitivities. The implementation details are discussed for N‐resonator ridge waveguide filters. Excellent agreement is obtained between the sensitivities calculated using ANM and those obtained using the expensive central differences. © 2006 Wiley Periodicals, Inc. Int J RF and Microwave CAE, 2006.     

Profile-Based Linguistic Uniformity as a Generic Method for Comparing Language Varieties

In this text we present``profile-based linguistic uniformity', a methoddesigned to compare language varieties on thebasis of a wide range of potentiallyheterogeneous linguistic variables. In manyrespects a parallel can be drawn with currentmethods in dialectometry (for an overview, see,Nerbonne and Heeringa, 2001; Heeringa, Nerbonneand Kleiweg, 2002): in both casesdissimilarities between varieties on the basisof individual variables are summarized inglobal dissimilarities, and a series oflanguage varieties are subsequently clusteredor charted using multivariate techniques suchas cluster analysis or multidimensionalscaling. This global similarity between themethods makes it possible to compare them andto investigate the implications of notabledifferences. In this text we specifically focuson, and defend one characteristic of ourmethodology, its profile-based nature.     

Hybrid Approach for Addressing Uncertainty in Risk Assessments

Parameter uncertainty is a major aspect of the model-based estimation of the risk of human exposure to pollutants. The Monte Carlo method, which applies probability theory to address model parameter uncertainty, relies on a statistical representation of available information. In recent years, other uncertainty theories have been proposed as alternative approaches to address model parameter uncertainty in situations where available information is insufficient to identify statistically representative probability distributions, due in particular to data scarcity. The simplest such theory is possibility theory, which uses so-called fuzzy numbers to represent model parameter uncertainty. In practice, it may occur that certain model parameters can be reasonably represented by probability distributions, because there are sufficient data available to substantiate such distributions by statistical analysis, while others are better represented by fuzzy numbers (due to data scarcity). The question then arises as to how these two modes of representation of model parameter uncertainty can be combined for the purpose of estimating the risk of exposure. This paper proposes an approach (termed a hybrid approach) which combines Monte Carlo random sampling of probability distribution functions with fuzzy calculus. The approach is applied to a real case of estimation of human exposure, via vegetable consumption, to cadmium present in the surficial soils of an industrial site located in the north of France. The application illustrates the potential of the proposed approach, which allows the uncertainty affecting model parameters to be represented in a way that is consistent with the information at hand. Also, because the hybrid approach takes advantage of the “rich” information provided by probability distributions, while retaining the conservative character of fuzzy calculus, it is believed to hold value in terms of a “reasonable” application of the precautionary principle.